Linear complementarity problem